A symmetry reduction technique for higher order Painlevé systems
نویسندگان
چکیده
منابع مشابه
Comparing Combinatory Reduction Systems and Higher - Order
In this paper two formats of higher-order rewriting are compared: Combinatory Reduction Systems introduced by Klop Klo80] and Higher-order Rewrite Systems deened by Nipkow Nipa]. Although it always has been obvious that both formats are closely related to each other, up to now the exact relationship between them has not been clear. This was an unsatisfying situation since it meant that proofs f...
متن کاملMoment Matching Theorems for Dimension Reduction of Higher-Order Dynamical Systems via Higher-Order Krylov Subspaces
Moment matching theorems for Krylov subspace based model reduction of higherorder linear dynamical systems are presented in the context of higher-order Krylov subspaces. We introduce the definition of a nth-order Krylov subspace Kn k ({Ai} n i=1;u) based on a sequence of n square matrices {Ai}i=1 and vector u. This subspace is a generalization of Krylov subspaces for higher-order systems, incor...
متن کاملDiscontinuous Residue and Theme in Higher-Order Semiotic: A Case for Interlocking Systems
The fallacy persists in discourse analysis research to explore lexicogrammatical phenomena detached from any adjacent plane of the meaning potential. In an attempt to dispel this and toss out some preconceived notions about what a modern SFG vantage point should involve, this study homes in on one aspect of SFG within prose fiction in particular, which is very revealing in terms of how separ...
متن کاملA Reduction Ordering for Higher - Order
We investigate one of the classical problems of the theory of term rewriting, namely termination. We present an ordering for comparing higher-order terms that can be utilized for testing termination and decreasingness of higher-order conditional term rewriting systems. The ordering relies on a rst-order interpretation of higher-order terms and a suitable extension of the RPO. 1 Motivation Term ...
متن کاملHigher Order Symmetry of Graphs
This lecture gives background to and results of work of my student John Shrimpton [19, 20, 21]. It advertises the joining of two themes: groups and symmetry; and categorical methods and analogues of set theory. Groups are expected to be associated with symmetry. Klein’s famous Erlanger Programme asserted that the study of a geometry was the study of the group of automorphisms of that geometry. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters A
سال: 2012
ISSN: 0375-9601
DOI: 10.1016/j.physleta.2012.04.044